3.23.6 \(\int \frac {(f+g x) (c d^2-b d e-b e^2 x-c e^2 x^2)^{5/2}}{(d+e x)^9} \, dx\) [2206]

Optimal. Leaf size=210 \[ -\frac {2 (e f-d g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{11 e^2 (2 c d-b e) (d+e x)^9}-\frac {2 (4 c e f+18 c d g-11 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{99 e^2 (2 c d-b e)^2 (d+e x)^8}-\frac {4 c (4 c e f+18 c d g-11 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{693 e^2 (2 c d-b e)^3 (d+e x)^7} \]

[Out]

-2/11*(-d*g+e*f)*(d*(-b*e+c*d)-b*e^2*x-c*e^2*x^2)^(7/2)/e^2/(-b*e+2*c*d)/(e*x+d)^9-2/99*(-11*b*e*g+18*c*d*g+4*
c*e*f)*(d*(-b*e+c*d)-b*e^2*x-c*e^2*x^2)^(7/2)/e^2/(-b*e+2*c*d)^2/(e*x+d)^8-4/693*c*(-11*b*e*g+18*c*d*g+4*c*e*f
)*(d*(-b*e+c*d)-b*e^2*x-c*e^2*x^2)^(7/2)/e^2/(-b*e+2*c*d)^3/(e*x+d)^7

________________________________________________________________________________________

Rubi [A]
time = 0.21, antiderivative size = 210, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 44, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.068, Rules used = {806, 672, 664} \begin {gather*} -\frac {4 c \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-11 b e g+18 c d g+4 c e f)}{693 e^2 (d+e x)^7 (2 c d-b e)^3}-\frac {2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-11 b e g+18 c d g+4 c e f)}{99 e^2 (d+e x)^8 (2 c d-b e)^2}-\frac {2 (e f-d g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{11 e^2 (d+e x)^9 (2 c d-b e)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((f + g*x)*(c*d^2 - b*d*e - b*e^2*x - c*e^2*x^2)^(5/2))/(d + e*x)^9,x]

[Out]

(-2*(e*f - d*g)*(d*(c*d - b*e) - b*e^2*x - c*e^2*x^2)^(7/2))/(11*e^2*(2*c*d - b*e)*(d + e*x)^9) - (2*(4*c*e*f
+ 18*c*d*g - 11*b*e*g)*(d*(c*d - b*e) - b*e^2*x - c*e^2*x^2)^(7/2))/(99*e^2*(2*c*d - b*e)^2*(d + e*x)^8) - (4*
c*(4*c*e*f + 18*c*d*g - 11*b*e*g)*(d*(c*d - b*e) - b*e^2*x - c*e^2*x^2)^(7/2))/(693*e^2*(2*c*d - b*e)^3*(d + e
*x)^7)

Rule 664

Int[((d_.) + (e_.)*(x_))^(m_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp[e*(d + e*x)^m*((a +
b*x + c*x^2)^(p + 1)/((p + 1)*(2*c*d - b*e))), x] /; FreeQ[{a, b, c, d, e, m, p}, x] && NeQ[b^2 - 4*a*c, 0] &&
 EqQ[c*d^2 - b*d*e + a*e^2, 0] &&  !IntegerQ[p] && EqQ[m + 2*p + 2, 0]

Rule 672

Int[((d_.) + (e_.)*(x_))^(m_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp[(-e)*(d + e*x)^m*((a
 + b*x + c*x^2)^(p + 1)/((m + p + 1)*(2*c*d - b*e))), x] + Dist[c*(Simplify[m + 2*p + 2]/((m + p + 1)*(2*c*d -
 b*e))), Int[(d + e*x)^(m + 1)*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, m, p}, x] && NeQ[b^2 - 4*a
*c, 0] && EqQ[c*d^2 - b*d*e + a*e^2, 0] &&  !IntegerQ[p] && ILtQ[Simplify[m + 2*p + 2], 0]

Rule 806

Int[((d_.) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp
[(d*g - e*f)*(d + e*x)^m*((a + b*x + c*x^2)^(p + 1)/((2*c*d - b*e)*(m + p + 1))), x] + Dist[(m*(g*(c*d - b*e)
+ c*e*f) + e*(p + 1)*(2*c*f - b*g))/(e*(2*c*d - b*e)*(m + p + 1)), Int[(d + e*x)^(m + 1)*(a + b*x + c*x^2)^p,
x], x] /; FreeQ[{a, b, c, d, e, f, g, m, p}, x] && NeQ[b^2 - 4*a*c, 0] && EqQ[c*d^2 - b*d*e + a*e^2, 0] && ((L
tQ[m, -1] &&  !IGtQ[m + p + 1, 0]) || (LtQ[m, 0] && LtQ[p, -1]) || EqQ[m + 2*p + 2, 0]) && NeQ[m + p + 1, 0]

Rubi steps

\begin {align*} \int \frac {(f+g x) \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{(d+e x)^9} \, dx &=-\frac {2 (e f-d g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{11 e^2 (2 c d-b e) (d+e x)^9}+\frac {(4 c e f+18 c d g-11 b e g) \int \frac {\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{(d+e x)^8} \, dx}{11 e (2 c d-b e)}\\ &=-\frac {2 (e f-d g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{11 e^2 (2 c d-b e) (d+e x)^9}-\frac {2 (4 c e f+18 c d g-11 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{99 e^2 (2 c d-b e)^2 (d+e x)^8}+\frac {(2 c (4 c e f+18 c d g-11 b e g)) \int \frac {\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{(d+e x)^7} \, dx}{99 e (2 c d-b e)^2}\\ &=-\frac {2 (e f-d g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{11 e^2 (2 c d-b e) (d+e x)^9}-\frac {2 (4 c e f+18 c d g-11 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{99 e^2 (2 c d-b e)^2 (d+e x)^8}-\frac {4 c (4 c e f+18 c d g-11 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{693 e^2 (2 c d-b e)^3 (d+e x)^7}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.25, size = 169, normalized size = 0.80 \begin {gather*} -\frac {2 (-c d+b e+c e x)^3 \sqrt {(d+e x) (-b e+c (d-e x))} \left (7 b^2 e^2 (9 e f+2 d g+11 e g x)-2 b c e \left (25 d^2 g+e^2 x (14 f+11 g x)+2 d e (70 f+81 g x)\right )+4 c^2 \left (9 d^3 g+2 e^3 f x^2+9 d e^2 x (2 f+g x)+d^2 e (79 f+81 g x)\right )\right )}{693 e^2 (-2 c d+b e)^3 (d+e x)^6} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((f + g*x)*(c*d^2 - b*d*e - b*e^2*x - c*e^2*x^2)^(5/2))/(d + e*x)^9,x]

[Out]

(-2*(-(c*d) + b*e + c*e*x)^3*Sqrt[(d + e*x)*(-(b*e) + c*(d - e*x))]*(7*b^2*e^2*(9*e*f + 2*d*g + 11*e*g*x) - 2*
b*c*e*(25*d^2*g + e^2*x*(14*f + 11*g*x) + 2*d*e*(70*f + 81*g*x)) + 4*c^2*(9*d^3*g + 2*e^3*f*x^2 + 9*d*e^2*x*(2
*f + g*x) + d^2*e*(79*f + 81*g*x))))/(693*e^2*(-2*c*d + b*e)^3*(d + e*x)^6)

________________________________________________________________________________________

Maple [A]
time = 0.06, size = 365, normalized size = 1.74

method result size
gosper \(-\frac {2 \left (c e x +b e -c d \right ) \left (-22 b c \,e^{3} g \,x^{2}+36 c^{2} d \,e^{2} g \,x^{2}+8 c^{2} e^{3} f \,x^{2}+77 b^{2} e^{3} g x -324 b c d \,e^{2} g x -28 b c \,e^{3} f x +324 c^{2} d^{2} e g x +72 c^{2} d \,e^{2} f x +14 b^{2} d \,e^{2} g +63 b^{2} e^{3} f -50 b c \,d^{2} e g -280 b c d \,e^{2} f +36 c^{2} d^{3} g +316 c^{2} d^{2} e f \right ) \left (-c \,e^{2} x^{2}-b \,e^{2} x -b d e +c \,d^{2}\right )^{\frac {5}{2}}}{693 \left (e x +d \right )^{8} \left (b^{3} e^{3}-6 b^{2} c d \,e^{2}+12 b \,c^{2} d^{2} e -8 c^{3} d^{3}\right ) e^{2}}\) \(236\)
default \(\frac {\left (-d g +e f \right ) \left (-\frac {2 \left (-c \,e^{2} \left (x +\frac {d}{e}\right )^{2}+\left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )\right )^{\frac {7}{2}}}{11 \left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )^{9}}+\frac {4 c \,e^{2} \left (-\frac {2 \left (-c \,e^{2} \left (x +\frac {d}{e}\right )^{2}+\left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )\right )^{\frac {7}{2}}}{9 \left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )^{8}}-\frac {4 c \,e^{2} \left (-c \,e^{2} \left (x +\frac {d}{e}\right )^{2}+\left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )\right )^{\frac {7}{2}}}{63 \left (-b \,e^{2}+2 c d e \right )^{2} \left (x +\frac {d}{e}\right )^{7}}\right )}{11 \left (-b \,e^{2}+2 c d e \right )}\right )}{e^{10}}+\frac {g \left (-\frac {2 \left (-c \,e^{2} \left (x +\frac {d}{e}\right )^{2}+\left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )\right )^{\frac {7}{2}}}{9 \left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )^{8}}-\frac {4 c \,e^{2} \left (-c \,e^{2} \left (x +\frac {d}{e}\right )^{2}+\left (-b \,e^{2}+2 c d e \right ) \left (x +\frac {d}{e}\right )\right )^{\frac {7}{2}}}{63 \left (-b \,e^{2}+2 c d e \right )^{2} \left (x +\frac {d}{e}\right )^{7}}\right )}{e^{9}}\) \(365\)
trager \(-\frac {2 \left (-22 b \,c^{4} e^{6} g \,x^{5}+36 c^{5} d \,e^{5} g \,x^{5}+8 c^{5} e^{6} f \,x^{5}+11 b^{2} c^{3} e^{6} g \,x^{4}-150 b \,c^{4} d \,e^{5} g \,x^{4}-4 b \,c^{4} e^{6} f \,x^{4}+216 c^{5} d^{2} e^{4} g \,x^{4}+48 c^{5} d \,e^{5} f \,x^{4}+165 b^{3} c^{2} e^{6} g \,x^{3}-949 b^{2} c^{3} d \,e^{5} g \,x^{3}+3 b^{2} c^{3} e^{6} f \,x^{3}+1612 b \,c^{4} d^{2} e^{4} g \,x^{3}-28 b \,c^{4} d \,e^{5} f \,x^{3}-828 c^{5} d^{3} e^{3} g \,x^{3}+124 c^{5} d^{2} e^{4} f \,x^{3}+209 b^{4} c \,e^{6} g \,x^{2}-1290 b^{3} c^{2} d \,e^{5} g \,x^{2}+113 b^{3} c^{2} e^{6} f \,x^{2}+2781 b^{2} c^{3} d^{2} e^{4} g \,x^{2}-669 b^{2} c^{3} d \,e^{5} f \,x^{2}-2528 b \,c^{4} d^{3} e^{3} g \,x^{2}+1296 b \,c^{4} d^{2} e^{4} f \,x^{2}+828 c^{5} d^{4} e^{2} g \,x^{2}-740 c^{5} d^{3} e^{3} f \,x^{2}+77 b^{5} e^{6} g x -513 b^{4} c d \,e^{5} g x +161 b^{4} c \,e^{6} f x +1293 b^{3} c^{2} d^{2} e^{4} g x -1062 b^{3} c^{2} d \,e^{5} f x -1571 b^{2} c^{3} d^{3} e^{3} g x +2517 b^{2} c^{3} d^{2} e^{4} f x +930 b \,c^{4} d^{4} e^{2} g x -2492 b \,c^{4} d^{3} e^{3} f x -216 c^{5} d^{5} e g x +876 c^{5} d^{4} e^{2} f x +14 b^{5} d \,e^{5} g +63 b^{5} e^{6} f -92 b^{4} c \,d^{2} e^{4} g -469 b^{4} c d \,e^{5} f +228 b^{3} c^{2} d^{3} e^{3} g +1345 b^{3} c^{2} d^{2} e^{4} f -272 b^{2} c^{3} d^{4} e^{2} g -1851 b^{2} c^{3} d^{3} e^{3} f +158 b \,c^{4} d^{5} e g +1228 b \,c^{4} d^{4} e^{2} f -36 c^{5} d^{6} g -316 c^{5} d^{5} e f \right ) \sqrt {-c \,e^{2} x^{2}-b \,e^{2} x -b d e +c \,d^{2}}}{693 \left (b^{3} e^{3}-6 b^{2} c d \,e^{2}+12 b \,c^{2} d^{2} e -8 c^{3} d^{3}\right ) e^{2} \left (e x +d \right )^{6}}\) \(728\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((g*x+f)*(-c*e^2*x^2-b*e^2*x-b*d*e+c*d^2)^(5/2)/(e*x+d)^9,x,method=_RETURNVERBOSE)

[Out]

(-d*g+e*f)/e^10*(-2/11/(-b*e^2+2*c*d*e)/(x+d/e)^9*(-c*e^2*(x+d/e)^2+(-b*e^2+2*c*d*e)*(x+d/e))^(7/2)+4/11*c*e^2
/(-b*e^2+2*c*d*e)*(-2/9/(-b*e^2+2*c*d*e)/(x+d/e)^8*(-c*e^2*(x+d/e)^2+(-b*e^2+2*c*d*e)*(x+d/e))^(7/2)-4/63*c*e^
2/(-b*e^2+2*c*d*e)^2/(x+d/e)^7*(-c*e^2*(x+d/e)^2+(-b*e^2+2*c*d*e)*(x+d/e))^(7/2)))+g/e^9*(-2/9/(-b*e^2+2*c*d*e
)/(x+d/e)^8*(-c*e^2*(x+d/e)^2+(-b*e^2+2*c*d*e)*(x+d/e))^(7/2)-4/63*c*e^2/(-b*e^2+2*c*d*e)^2/(x+d/e)^7*(-c*e^2*
(x+d/e)^2+(-b*e^2+2*c*d*e)*(x+d/e))^(7/2))

________________________________________________________________________________________

Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((g*x+f)*(-c*e^2*x^2-b*e^2*x-b*d*e+c*d^2)^(5/2)/(e*x+d)^9,x, algorithm="maxima")

[Out]

Exception raised: ValueError >> Computation failed since Maxima requested additional constraints; using the 'a
ssume' command before evaluation *may* help (example of legal syntax is 'assume(2*c*d-%e*b>0)', see `assume?`
for more det

________________________________________________________________________________________

Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((g*x+f)*(-c*e^2*x^2-b*e^2*x-b*d*e+c*d^2)^(5/2)/(e*x+d)^9,x, algorithm="fricas")

[Out]

Timed out

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (- \left (d + e x\right ) \left (b e - c d + c e x\right )\right )^{\frac {5}{2}} \left (f + g x\right )}{\left (d + e x\right )^{9}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((g*x+f)*(-c*e**2*x**2-b*e**2*x-b*d*e+c*d**2)**(5/2)/(e*x+d)**9,x)

[Out]

Integral((-(d + e*x)*(b*e - c*d + c*e*x))**(5/2)*(f + g*x)/(d + e*x)**9, x)

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 4740 vs. \(2 (203) = 406\).
time = 1.05, size = 4740, normalized size = 22.57 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((g*x+f)*(-c*e^2*x^2-b*e^2*x-b*d*e+c*d^2)^(5/2)/(e*x+d)^9,x, algorithm="giac")

[Out]

2/693*(9*c^8*d^9*g + 2*c^8*d^8*f*e + 8*b*c^7*d^8*g*e - 99*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2
- b*d*e))*sqrt(-c)*c^7*d^8*g - 22*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*sqrt(-c)*c^7*d
^7*f*e + 605*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b*sqrt(-c)*c^6*d^7*g*e + 198*(sqrt(
-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*c^7*d^7*g + 3*b*c^7*d^7*f*e^2 - 168*b^2*c^6*d^7*g*e^
2 - 110*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*c^7*d^6*f*e - 3905*(sqrt(-c*e^2)*x - s
qrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*b*c^6*d^6*g*e + 2178*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 -
b*x*e^2 - b*d*e))^3*sqrt(-c)*c^6*d^6*g - 33*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b*sq
rt(-c)*c^6*d^6*f*e^2 - 3003*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b^2*sqrt(-c)*c^5*d^6
*g*e^2 - 594*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^3*sqrt(-c)*c^6*d^5*f*e - 8613*(sqrt
(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^3*b*sqrt(-c)*c^5*d^5*g*e - 1188*(sqrt(-c*e^2)*x - sqr
t(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^4*c^6*d^5*g + 3*b^2*c^6*d^6*f*e^3 + 696*b^3*c^5*d^6*g*e^3 + 1221*(sqr
t(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*b*c^6*d^5*f*e^2 + 12012*(sqrt(-c*e^2)*x - sqrt(-c*
x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*b^2*c^5*d^5*g*e^2 + 2970*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x
*e^2 - b*d*e))^4*c^6*d^4*f*e + 15345*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^4*b*c^5*d^4
*g*e - 5544*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^5*sqrt(-c)*c^5*d^4*g + 660*(sqrt(-c*
e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b^2*sqrt(-c)*c^5*d^5*f*e^3 + 6897*(sqrt(-c*e^2)*x - sqrt(
-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b^3*sqrt(-c)*c^4*d^5*g*e^3 + 7425*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c
*d^2 - b*x*e^2 - b*d*e))^3*b*sqrt(-c)*c^5*d^4*f*e^2 + 24255*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^
2 - b*d*e))^3*b^2*sqrt(-c)*c^4*d^4*g*e^2 + 4158*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^
5*sqrt(-c)*c^5*d^3*f*e + 13167*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^5*b*sqrt(-c)*c^4*
d^3*g*e + 1386*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^6*c^5*d^3*g - 113*b^3*c^5*d^5*f*e
^4 - 1370*b^4*c^4*d^5*g*e^4 - 7095*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*b^2*c^5*d^4
*f*e^3 - 20955*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*b^3*c^4*d^4*g*e^3 - 16335*(sqrt
(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^4*b*c^5*d^3*f*e^2 - 27720*(sqrt(-c*e^2)*x - sqrt(-c*x
^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^4*b^2*c^4*d^3*g*e^2 - 5082*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*
e^2 - b*d*e))^6*c^5*d^2*f*e - 14091*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^6*b*c^4*d^2*
g*e + 4158*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^7*sqrt(-c)*c^4*d^2*g - 2915*(sqrt(-c*
e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b^3*sqrt(-c)*c^4*d^4*f*e^4 - 9185*(sqrt(-c*e^2)*x - sqrt(
-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b^4*sqrt(-c)*c^3*d^4*g*e^4 - 23760*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 +
c*d^2 - b*x*e^2 - b*d*e))^3*b^2*sqrt(-c)*c^4*d^3*f*e^3 - 30690*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x
*e^2 - b*d*e))^3*b^3*sqrt(-c)*c^3*d^3*g*e^3 - 21483*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*
e))^5*b*sqrt(-c)*c^4*d^2*f*e^2 - 25641*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^5*b^2*sqr
t(-c)*c^3*d^2*g*e^2 - 2310*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^7*sqrt(-c)*c^4*d*f*e
- 5775*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^7*b*sqrt(-c)*c^3*d*g*e - 693*(sqrt(-c*e^2
)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^8*c^4*d*g + 435*b^4*c^4*d^4*f*e^5 + 1560*b^5*c^3*d^4*g*e^5 +
 16610*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*b^3*c^4*d^3*f*e^4 + 19910*(sqrt(-c*e^2)
*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^2*b^4*c^3*d^3*g*e^4 + 39105*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2
 + c*d^2 - b*x*e^2 - b*d*e))^4*b^2*c^4*d^2*f*e^3 + 28710*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 -
 b*d*e))^4*b^3*c^3*d^2*g*e^3 + 13167*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^6*b*c^4*d*f
*e^2 + 13860*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^6*b^2*c^3*d*g*e^2 + 924*(sqrt(-c*e^
2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^8*c^4*f*e + 3003*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2
- b*x*e^2 - b*d*e))^8*b*c^3*g*e - 693*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^9*sqrt(-c)
*c^3*g + 5610*(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b^4*sqrt(-c)*c^3*d^3*f*e^5 + 7095*
(sqrt(-c*e^2)*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))*b^5*sqrt(-c)*c^2*d^3*g*e^5 + 37950*(sqrt(-c*e^2)
*x - sqrt(-c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^3*b^3*sqrt(-c)*c^3*d^2*f*e^4 + 21120*(sqrt(-c*e^2)*x - sqrt(-
c*x^2*e^2 + c*d^2 - b*x*e^2 - b*d*e))^3*b^4*sqr...

________________________________________________________________________________________

Mupad [B]
time = 53.40, size = 2500, normalized size = 11.90 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((f + g*x)*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(5/2))/(d + e*x)^9,x)

[Out]

(((d*((1632*b^2*c^6*e^3*f - 16704*c^8*d^3*g + 2784*b^3*c^5*e^3*g + 4672*c^8*d^2*e*f - 5504*b*c^7*d*e^2*f + 273
92*b*c^7*d^2*e*g - 15072*b^2*c^6*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6) - (d*((32*c^6*(51*b^2*e^2*g + 146*c^2*d^2*
g + 16*b*c*e^2*f - 26*c^2*d*e*f - 172*b*c*d*e*g))/(10395*(b*e - 2*c*d)^6) - (d*((64*c^7*e*(8*b*e*g - 13*c*d*g
+ c*e*f))/(10395*(b*e - 2*c*d)^6) - (64*c^8*d*e*g)/(10395*(b*e - 2*c*d)^6)))/e))/e))/e - (696*b^3*c^5*e^3*f +
1044*b^4*c^4*e^3*g - 8352*b*c^7*d^3*g + 2336*b*c^7*d^2*e*f - 2544*b^2*c^6*d*e^2*f + 12528*b^2*c^6*d^2*e*g - 62
64*b^3*c^5*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6))*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(1/2))/(d + e*x) + (((d*(
(1952*b^2*c^6*e^3*f - 20928*c^8*d^3*g + 3456*b^3*c^5*e^3*g + 5696*c^8*d^2*e*f - 6656*b*c^7*d*e^2*f + 34240*b*c
^7*d^2*e*g - 18784*b^2*c^6*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6) - (d*((32*c^6*(61*b^2*e^2*g + 178*c^2*d^2*g + 18
*b*c*e^2*f - 30*c^2*d*e*f - 208*b*c*d*e*g))/(10395*(b*e - 2*c*d)^6) - (d*((64*c^7*e*(9*b*e*g - 15*c*d*g + c*e*
f))/(10395*(b*e - 2*c*d)^6) - (64*c^8*d*e*g)/(10395*(b*e - 2*c*d)^6)))/e))/e))/e - (840*b^3*c^5*e^3*f + 1308*b
^4*c^4*e^3*g - 10464*b*c^7*d^3*g + 2848*b*c^7*d^2*e*f - 3088*b^2*c^6*d*e^2*f + 15696*b^2*c^6*d^2*e*g - 7848*b^
3*c^5*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6))*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(1/2))/(d + e*x) + (((d*((2272
*b^2*c^6*e^3*f - 25152*c^8*d^3*g + 4128*b^3*c^5*e^3*g + 6720*c^8*d^2*e*f - 7808*b*c^7*d*e^2*f + 41088*b*c^7*d^
2*e*g - 22496*b^2*c^6*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6) - (d*((32*c^6*(71*b^2*e^2*g + 210*c^2*d^2*g + 20*b*c*
e^2*f - 34*c^2*d*e*f - 244*b*c*d*e*g))/(10395*(b*e - 2*c*d)^6) - (d*((64*c^7*e*(10*b*e*g - 17*c*d*g + c*e*f))/
(10395*(b*e - 2*c*d)^6) - (64*c^8*d*e*g)/(10395*(b*e - 2*c*d)^6)))/e))/e))/e - (984*b^3*c^5*e^3*f + 1572*b^4*c
^4*e^3*g - 12576*b*c^7*d^3*g + 3360*b*c^7*d^2*e*f - 3632*b^2*c^6*d*e^2*f + 18864*b^2*c^6*d^2*e*g - 9432*b^3*c^
5*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6))*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(1/2))/(d + e*x) + (((d*((2592*b^2
*c^6*e^3*f - 29376*c^8*d^3*g + 4800*b^3*c^5*e^3*g + 7744*c^8*d^2*e*f - 8960*b*c^7*d*e^2*f + 47936*b*c^7*d^2*e*
g - 26208*b^2*c^6*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6) - (d*((32*c^6*(81*b^2*e^2*g + 242*c^2*d^2*g + 22*b*c*e^2*
f - 38*c^2*d*e*f - 280*b*c*d*e*g))/(10395*(b*e - 2*c*d)^6) - (d*((64*c^7*e*(11*b*e*g - 19*c*d*g + c*e*f))/(103
95*(b*e - 2*c*d)^6) - (64*c^8*d*e*g)/(10395*(b*e - 2*c*d)^6)))/e))/e))/e - (1128*b^3*c^5*e^3*f + 1836*b^4*c^4*
e^3*g - 14688*b*c^7*d^3*g + 3872*b*c^7*d^2*e*f - 4176*b^2*c^6*d*e^2*f + 22032*b^2*c^6*d^2*e*g - 11016*b^3*c^5*
d*e^2*g)/(10395*e*(b*e - 2*c*d)^6))*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(1/2))/(d + e*x) - (((d*((d*((d*((4*
c^4*e^2*(17*b*e*g - 28*c*d*g + 2*c*e*f))/(99*(7*b*e^2 - 14*c*d*e)*(b*e - 2*c*d)^2) - (8*c^5*d*e^2*g)/(99*(7*b*
e^2 - 14*c*d*e)*(b*e - 2*c*d)^2)))/e - (4*c^3*e*(44*b^2*e^2*g + 114*c^2*d^2*g + 17*b*c*e^2*f - 28*c^2*d*e*f -
142*b*c*d*e*g))/(99*(7*b*e^2 - 14*c*d*e)*(b*e - 2*c*d)^2)))/e + (176*b^2*c^3*e^4*f + 200*b^3*c^2*e^4*g + 456*c
^5*d^2*e^2*f - 1024*c^5*d^3*e*g - 568*b*c^4*d*e^3*f + 1764*b*c^4*d^2*e^2*g - 1024*b^2*c^3*d*e^3*g)/(99*e*(7*b*
e^2 - 14*c*d*e)*(b*e - 2*c*d)^2)))/e - (800*c^5*d^4*g + 132*b^3*c^2*e^4*f + 84*b^4*c*e^4*g - 480*c^5*d^3*e*f -
 1872*b*c^4*d^3*e*g + 948*b*c^4*d^2*e^2*f - 616*b^2*c^3*d*e^3*f - 604*b^3*c^2*d*e^3*g + 1608*b^2*c^3*d^2*e^2*g
)/(99*e*(7*b*e^2 - 14*c*d*e)*(b*e - 2*c*d)^2))*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(1/2))/(d + e*x)^4 - (((d
*((832*b^2*c^6*e^3*f - 6144*c^8*d^3*g + 1104*b^3*c^5*e^3*g + 2112*c^8*d^2*e*f - 2624*b*c^7*d*e^2*f + 10272*b*c
^7*d^2*e*g - 5792*b^2*c^6*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6) - (d*((32*c^6*(26*b^2*e^2*g + 66*c^2*d^2*g + 11*b
*c*e^2*f - 16*c^2*d*e*f - 82*b*c*d*e*g))/(10395*(b*e - 2*c*d)^6) - (d*((32*c^7*e*(11*b*e*g - 16*c*d*g + 2*c*e*
f))/(10395*(b*e - 2*c*d)^6) - (64*c^8*d*e*g)/(10395*(b*e - 2*c*d)^6)))/e))/e))/e - (16*b*c^4*(24*b^3*e^3*g - 1
92*c^3*d^3*g + 21*b^2*c*e^3*f + 66*c^3*d^2*e*f - 74*b*c^2*d*e^2*f + 288*b*c^2*d^2*e*g - 144*b^2*c*d*e^2*g))/(1
0395*e*(b*e - 2*c*d)^6))*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(1/2))/(d + e*x) - (((d*((3312*b^2*c^6*e^3*f -
49408*c^8*d^3*g + 7656*b^3*c^5*e^3*g + 10496*c^8*d^2*e*f - 11776*b*c^7*d*e^2*f + 79360*b*c^7*d^2*e*g - 42624*b
^2*c^6*d*e^2*g)/(10395*e*(b*e - 2*c*d)^6) - (d*((16*c^6*(207*b^2*e^2*g + 656*c^2*d^2*g + 46*b*c*e^2*f - 80*c^2
*d*e*f - 736*b*c*d*e*g))/(10395*(b*e - 2*c*d)^6) - (d*((32*c^7*e*(23*b*e*g - 40*c*d*g + 2*c*e*f))/(10395*(b*e
- 2*c*d)^6) - (64*c^8*d*e*g)/(10395*(b*e - 2*c*d)^6)))/e))/e))/e - (8*b*c^4*(386*b^3*e^3*g - 3088*c^3*d^3*g +
185*b^2*c*e^3*f + 656*c^3*d^2*e*f - 696*b*c^2*d*e^2*f + 4632*b*c^2*d^2*e*g - 2316*b^2*c*d*e^2*g))/(10395*e*(b*
e - 2*c*d)^6))*(c*d^2 - c*e^2*x^2 - b*d*e - b*e^2*x)^(1/2))/(d + e*x) - (((d*((3792*b^2*c^6*e^3*f - 58752*c^8*
d^3*g + 9048*b^3*c^5*e^3*g + 12160*c^8*d^2*e*f - 13568*b*c^7*d*e^2*f + 94208*b*c^7*d^2*e*g - 50496*b^2*c^6*d*e
^2*g)/(10395*e*(b*e - 2*c*d)^6) - (d*((16*c^6*(237*b^2*e^2*g + 760*c^2*d^2*g + 50*b*c*e^2*f - 88*c^2*d*e*f - 8
48*b*c*d*e*g))/(10395*(b*e - 2*c*d)^6) - (d*((3...

________________________________________________________________________________________